Uncurrying for Termination and ComplexityHIROKAWA, Nao; MIDDELDORP, Aart; ZANKL, Harald et al.Journal of automated reasoning. 2013, Vol 50, Num 3, pp 279-315, issn 0168-7433, 37 p.Article

Analyzing Innermost Runtime Complexity of Term Rewriting by Dependency PairsNOSCHINSKI, Lars; EMMES, Fabian; GIESL, Jürgen et al.Journal of automated reasoning. 2013, Vol 51, Num 1, pp 27-56, issn 0168-7433, 30 p.Article

Foundations of instance level updates in expressive description logicsLIU, Hongkai; LUTZ, Carsten; MILICIEC, Maja et al.Artificial intelligence (General ed.). 2011, Vol 175, Num 18, pp 2170-2197, issn 0004-3702, 28 p.Article

Contracts Made ManifestGREENBERG, Michael; PIERCE, Benjamin C; WEIRICH, Stephanie et al.ACM SIGPLAN notices. 2010, Vol 45, Num 1, pp 353-364, issn 1523-2867, 12 p.Conference Paper

Benchmarking Domain-Specific Compiler Optimizations for Variational FormsKIRBY, Robert C; LOGG, Anders.ACM transactions on mathematical software. 2009, Vol 35, Num 2, issn 0098-3500, 10.1-10.18Article

Proving Optimizations Correct using Parameterized Program EquivalenceKUNDU, Sudipta; TATLOCK, Zachary; LERNER, Sorin et al.ACM SIGPLAN notices. 2009, Vol 44, Num 6, pp 327-337, issn 1523-2867, 11 p.Conference Paper

Exploration aléatoire de modèlesOUDINET, Johan.Journal européen des systèmes automatisés. 2009, Vol 43, Num 7-9, pp 905-919, issn 1269-6935, 15 p.Conference Paper

On the Generative Power of Multiple Context-Free Grammars and Macro Grammars : Foundations of computer scienceSEKI, Hiroyuki; KATO, Yuki.IEICE transactions on information and systems. 2008, Vol 91, Num 2, pp 209-221, issn 0916-8532, 13 p.Article

On the existence of prime decompositionsHAN, Yo-Sub; SALOMAA, Arto; SALOMAA, Kai et al.Theoretical computer science. 2007, Vol 376, Num 1-2, pp 60-69, issn 0304-3975, 10 p.Conference Paper

Environment analysis via ΔCFAMIGHT, Matthew; SHIVERS, Olin.ACM SIGPLAN notices. 2006, Vol 41, Num 1, pp 127-140, issn 1523-2867, 14 p.Conference Paper

Harmless adviceDANTAS, Daniel S; WALKER, David.ACM SIGPLAN notices. 2006, Vol 41, Num 1, pp 383-396, issn 1523-2867, 14 p.Conference Paper

A verifiable SSA program representation for aggressive compiler optimizationMENON, Vijay S; GLEW, Neal; MURPHY, Brian R et al.ACM SIGPLAN notices. 2006, Vol 41, Num 1, pp 397-408, issn 1523-2867, 12 p.Conference Paper

Operations preserving regular languagesBERSTEL, Jean; BOASSON, Luc; CARTON, Olivier et al.Theoretical computer science. 2006, Vol 354, Num 3, pp 405-420, issn 0304-3975, 16 p.Conference Paper

Algorithm specialization in generic programming : Challenges of constrained generics in C++JÄRVI, Jaakko; GREGOR, Douglas; WILLCOCK, Jeremiah et al.ACM SIGPLAN notices. 2006, Vol 41, Num 6, pp 272-282, issn 1523-2867, 11 p.Conference Paper

Deriving abstract transfer functions for analyzing embedded softwareREGEHR, John; DUONGSAA, Usit.ACM SIGPLAN notices. 2006, Vol 41, Num 7, pp 34-43, issn 1523-2867, 10 p.Conference Paper

Adding nesting structure to wordsALUR, Rajeev; MADHUSUDAN, P.Lecture notes in computer science. 2006, pp 1-13, issn 0302-9743, isbn 3-540-35428-X, 1Vol, 13 p.Conference Paper

Protecting representation with effect encapsulationYI LU; POTTER, John.ACM SIGPLAN notices. 2006, Vol 41, Num 1, pp 359-371, issn 1523-2867, 13 p.Conference Paper

The next 700 data description languagesFISHER, Kathleen; MANDELBAUM, Yitzhak; WALKER, David et al.ACM SIGPLAN notices. 2006, Vol 41, Num 1, pp 2-15, issn 1523-2867, 14 p.Conference Paper

Bag context tree grammarsDREWES, Frank; DU TOIT, Christine; EWERT, Sigrid et al.Lecture notes in computer science. 2006, pp 226-237, issn 0302-9743, isbn 3-540-35428-X, 1Vol, 12 p.Conference Paper

Ciliate bio-operations on finite string multisetsDASSOW, Jürgen; VASZIL, György.Lecture notes in computer science. 2006, pp 168-179, issn 0302-9743, isbn 3-540-35428-X, 1Vol, 12 p.Conference Paper

Complexity of degenerated three dimensional billiard wordsBOREL, J.-P.Lecture notes in computer science. 2006, pp 386-396, issn 0302-9743, isbn 3-540-35428-X, 1Vol, 11 p.Conference Paper

Identification in the Limit of Systematic-Noisy LanguagesTANTINI, Frédéric; DE LA HIGUERA, Colin; JANODET, Jean-Christophe et al.Lecture notes in computer science. 2006, pp 19-31, issn 0302-9743, isbn 3-540-45264-8, 1Vol, 13 p.Conference Paper

Involution solid and join codesJONOSKA, Natasa; KARI, Lila; MAHALINGAM, Kalpana et al.Lecture notes in computer science. 2006, pp 192-202, issn 0302-9743, isbn 3-540-35428-X, 1Vol, 11 p.Conference Paper

On keys and functional dependencies as first-class citizens in description logicsTOMAN, David; WEDDELL, Grant.Lecture notes in computer science. 2006, pp 647-661, issn 0302-9743, isbn 3-540-37187-7, 1Vol, 15 p.Conference Paper

P systems with proteins on membranes and membrane divisionPAUN, Andrei; POPA, Bianca.Lecture notes in computer science. 2006, pp 292-303, issn 0302-9743, isbn 3-540-35428-X, 1Vol, 12 p.Conference Paper